(Fdelete_other_windows): Handle FRAME_MENU_BAR_LINES.

diff --git a/src/window.c b/src/window.c
index ab81e806aba477e953f2b24aea0f187ad14b0663..0f00ae64ef1d29d3f9b61b6d676eb4ecf2631f87 100644 (file)
--- a/src/window.c
+++ b/src/window.c
@@ -1283,11 +1283,11 @@ Only the frame WINDOW is on is affected.")
   w = XWINDOW (window);
   top = XFASTINT (w->top);
 
-  window_loop (DELETE_OTHER_WINDOWS, window, 0, WINDOW_FRAME(w));
+  window_loop (DELETE_OTHER_WINDOWS, window, 0, WINDOW_FRAME (w));
 
   Fset_buffer (w->buffer);
   SET_PT (marker_position (w->start));
-  Frecenter (make_number (top));
+  Frecenter (make_number (top - FRAME_MENU_BAR_LINES (XFRAME (WINDOW_FRAME (w)))));
 
   set_buffer_internal (obuf);
   SET_PT (opoint);